| commit | b9d9d90d180cf21baeeb16bd89828d25c7901470 | [log] [tgz] |
|---|---|---|
| author | Junio C Hamano <gitster@pobox.com> | Wed May 23 07:07:42 2018 |
| committer | Junio C Hamano <gitster@pobox.com> | Wed May 23 07:07:42 2018 |
| tree | a40241052af8d4f5543b66581e3f0235cfae0af3 | |
| parent | ccb8252b46bfba5daf0cfcedaf0f9d2e14ba356f [diff] [blame] |
Autogenerated HTML docs for v2.17.0-775-ge144d
diff --git a/git-request-pull.txt b/git-request-pull.txt index c32cb0b..4d4392d 100644 --- a/git-request-pull.txt +++ b/git-request-pull.txt
@@ -46,8 +46,8 @@ its remote name. -EXAMPLE -------- +EXAMPLES +-------- Imagine that you built your work on your `master` branch on top of the `v1.0` release, and want it to be integrated to the project.